package body Sync_TypeTo API docTo spec is
protected body ProtectTo API docTo spec is
procedure SetTo API docTo spec (ETo API docTo spec : ElementTo API docTo spec) is
begin
ValueTo API docTo spec := ETo API docTo spec;
end SetTo API docTo specTo body;
function GetTo API docTo spec return ElementTo API docTo spec is (ValueTo API docTo spec);
end ProtectTo API docTo spec;
end Sync_TypeTo API docTo specTo body;